141. Automated technology for verification and analysis :
پدیدآورنده: Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
142. Automatic Re-Engineering of Software Using Genetic Programming
پدیدآورنده: / BY Conor Ryan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Genetic Programming(Computer Science),Software Reengineering
رده :
QA76
.
623
.
R93
2000
143. Automatic re-engineering of software using genetic programming
پدیدآورنده: / by Conor Ryan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
144. Automatic re-engineering of software using genetic programming
پدیدآورنده: / by Conor Ryan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Genetic programming (Computer science),Software reengineering
رده :
QA76
.
623
.
R93
2000
145. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده: Mainul Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
146. Automating Instructional Design:
پدیدآورنده: edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Educational technology.,Software engineering.
147. Automating Instructional Design, Development, and Delivery
پدیدآورنده: edited by Robert D. Tennyson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
LB1028
.
38
E358
1994
148. Automating with SIMATIC : Controllers, Software, Programming, Data
پدیدآورنده: / Berger, Hans
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
149. Automotive systems and software engineering
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineeringAutomatic programming (Computer science)
150. Autonomic and trusted computin
پدیدآورنده: / Chunming Rong ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
151. Aware Applications Using Tcl, A Powerful Dynamic Programming Language-Tcl 8.5 Network Programming : Build Network
پدیدآورنده: / Kocjan, Wojciech
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
152. Balancing agility and formalism in software engineerin
پدیدآورنده: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Computer software--Development--Congresses
153. Based Reasoning, Programming, and Applications-Rule
پدیدآورنده: / Nick Bassiliades, Guido Governatori, Adrian Paschke
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
154. Basic Sensors in IOS: Programming the Accelerometer, Gyroscope, and Magnetometer
پدیدآورنده: / Alasdair Allan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
155. Batch Processing Systems Engineering :
پدیدآورنده: edited by Ginraras V. Reklaitis, Aydin K. Sunol, David W.T. Rippin, Öner Hortaçsu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Chemical engineering.,Computer science.
رده :
TP155
.
75
E358
1996
156. Bayesian Programming
پدیدآورنده: / Bessiere, Pierre
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING& METHODS|MINING &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
157. Beginning AI bot frameworks :
پدیدآورنده: Manisha Biswas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer networks.,Computer programming.,Software engineering.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- General.,Network hardware.,Software engineering.
رده :
Q335
158. Beginning Android Tablet Games Programming (Beginning Apress)
پدیدآورنده: / Jeremy Kerfs
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
159. Beginning Android Tablet Programming
پدیدآورنده: / Robbie Matthews
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
160. Beginning Arduino Programming
پدیدآورنده: / Brian Evans
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
